symbolic differential equation

符号微分方程